Preserving measurability with Cohen iterations
نویسندگان
چکیده
منابع مشابه
Models of Cohen measurability
We show that in contrast with the Cohen version of Solovay’s model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.
متن کاملThree-Property Preserving Iterations of Keyless Compression Functions
Almost all hash functions are based on the Merkle-Damg̊ard iteration of a finite-domain compression function. It has been shown that this iteration preserves collision resistance, but it does not preserve other properties such as preimage or second preimage resistance. The recently proposed ROX construction provably preserves all seven security notions put forward by Rogaway and Shrimpton at FSE...
متن کاملIterations with Mixed Support
In this talk we will consider three properties of iterations with mixed (finite/countable) supports: iterations of arbitrary length preserve ω1, iterations of length ≤ ω2 over a model of CH have the א2-chain condition and iterations of length < ω2 over a model of CH do not increase the size of the continuum. Definition 1. Let Pκ be an iterated forcing construction of length κ, with iterands 〈Q̇α...
متن کاملMeasurability and Computability
The conceptual relation between the measurability of quantum mechanical observables and the computability of numerical functions is re-examined. A new formulation is given for the notion of measurability with finite precision in order to reconcile the conflict alleged by M. A. Nielsen [Phys. Rev. Lett. 79, 2915 (1997)] that the measurability of a certain observable contradicts the Church-Turing...
متن کاملAcfa and Measurability
We show that definable sets of finite S1-rank in algebraically closed fields with an automorphism can be measured.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AUC PHILOSOPHICA ET HISTORICA
سال: 2017
ISSN: 2464-7055,0567-8293
DOI: 10.14712/24647055.2017.13